00
o
O
in
00
o
X
Symmetries of 2nd order ODE:
/ + G{x)y' + H{x)y = 0.
Mehdi Nadjafikhah* Seyed-Reza Hejazi^
Abstract
o
q.
r~| . This paper is devoted to study the Lie algebra of hnear symmetries
j^ I of a homogenous 2nd order ODE, by the method of Kushner, Lychagin
and Robstov [1].
Key Words: linear differential equation, differential operator, symmetry.
"> ■ A.M.S. 2000 Subject Classification: IWxx, 32Wxx , 76Mxx.
00 ■
O Introduction
i>
O I Symmetries of differential equations make a magnificent portion in theory of
differential equations, and there are so much researches in this object. Here
we are going to decompose the structure of Lie algebra of linear symmetries
of ODE, y" + G{x)y' + H{x)y = 0, where G and H are smooth functions of
x, to two subalgebras which are called even and odd symmetries of ODE.
5^ I First the meaning of even and odd symmetries for a differential operator
is given, next we will find these two concepts for the differential operator
corresponding to ODE instead of the equation itself. Reader is referred to
[2] and [3] for some fundamental contexts in geometry of manifolds and their
applications to theory of differential equations.
* Department of Mathematics, Iran University of Science and Technology, Narmak,
Tehran, I.R.Iran, e-mail: m_ nadjafikhah@iust.ac.ir
^e-mail: reza_ hejazi@iust.ac.ir
1 Symmetries of ODEs
Consider a general n— th order differential equation A = which is defined
on n— th jet space of p independent and q dependent variables. As we know
a symmetry of the system of above differential equation means a point (or
contact) transformation which maps solutions to solutions. In the case of
point transformation, the infinitesimal generator v from a Lie algebra g cor-
responding to group transformation makes a symmetry of A = 0, if its n— th
prolongation annihilate A, i.e., v*^"^(A) = 0. See [2] and [3] for more details
of symmetries of differential equations. It is noteworthy that all manifolds,
vector fields, differential forms and... are seem to be smooth in the sequel.
1.1 Generating Functions
Let us consider an ODE of {k + 1)— th order which is resolved with respect to
the highest derivative: |/(^+^) = F(x,y,y', ...,y'^^^). This equation determines
a one-dimensional distribution on the k—th jet space with one independent
variable x with coordinate {x,y = po,pi, ...,pk), which is generated by the
vector field
^ d d d ^ d
ox dpo opk-i opk
or by the contact differential 1-forms
oj^ = dpo — pidx, • • • , co^ = dpk^i — Pkdx, cj*^"*"^ = dpk — Fdx.
Consider a vector field X on manifold M, X is called a symmetry of the
distribution P, if the distribution is invariant under the flow of X. Denote
by Sym(P) the set of all symmetries id P. If X belongs to P then it is called
a characteristic symmetry and the set of all characteristic symmetries of X
is denoted by Char(P) which makes an ideal of Sym(P).
Definition 1.1.1 The quotient Lie algebra
Shuf(P) = Sym(P)/Char(P),
is called the set of shuffling symmetries of P.
Therefore any shuffling symmetry S G Shuf(P) has a unique representative
of the form
^ = /t^ + W)7^ + • ■ • + ^'(/)/-,
opo OPl OPk
where / is a smooth functions of (a;,po?Pi, ...iPk) and P* = I?(I?*^^), for the
reason see [1]. The function / is called a generating function of the symmetry
S and we write Sf instead of S. Therefore, Sf is a shuffling symmetry of
the ODE if and only if the generation function / satisfies the following Lie
equation:
Let us denote by A^ : C°^(lR^+2) _^ C'^(r''+'^)^ the following hnear A;-th
order scalar differential operator:
which is called the linearization of i/('^+^) = F{x,y,y', ...,y'^^^).
Theorem 1.1.2 There exist the isomorphism Shuf(P) = kerA^ between
solutions of the Lie equation and shuffling symmetries.
The Shuf (P) is a Lie algebra for any distribution P with respect to the
Poisson-Lie bracket., which is defined in the following way:
|S,.SJ:^%,,^|:(p-(/)|-D-te)|)
for any f,g^ ker Ap-
Example 1.1.3 Functions f = a{x,po)pi + b{x,pQ) are generating functions
of the vector fields on M^ of the form b{x,po)-^ ctix,Po)-§^-
1.2 Linear Symmetries
A shuffling symmetry Sf is called a linear symmetry, if the generating func-
tion / is linear in po, ...,pk, i.e., / = bo{x)pQ + • ■ • + bk{x)pk- With any linear
symmetry we associate a linear operator A/ = 6o+' ■ ■+bkd'', where d = d/dx,
and we rewrite the Lie equation for linear symmetries in terms of the algebra
of linear differential operators.
Lemma 1.2.1 For any linear differential operator A = aQ + ■ ■ ■ + and"" and
L = Iq + ■ ■ ■ + Ikd^ + c^'^+i there are unique differential operators Ca and Ra
of order < n — k — 1 and < k respectively such that A = Ca o L + Ra-
Here we have a very important theorem:
Theorem 1.2.2 [1] A differential operator Aj = bo + ■ ■ ■ + hkd^ corresponds
to a shuffling symmetry f = 6oPo + " ■ ■ + bkPk of the linear differential equation
L{h) = 0, where L = Aq + ■ ■ ■ + A^d^ + d^^^ , if and only if there is a
differential operator V/ of order k and such that L o Aj = V/ o L. Moreover,
the commutator [/, g] of linear symmetries corresponds to the remainder R
of division [Aj, A^] by L; that is, R[Aj>,Aa] ~ ^[/.s]-
Denote by 23 (L) the Lie algebra of all differential operators A such that
L o A = V o L, for some uniquely determined differential operator V. If
Sym(L) denote the Lie algebra of linear symmetries of differential operator
L, then we have
Theorem 1.2.3 1. If A e %{L) then Ra e Sym(L).
2. The residue map R : 23 (L) -^ Sym(L), is a Lie algebra homomorphism.
2 Linear Symmetries of Operators
The differential operator
k
L^ = (_i)fe+i5^'+i + ^(-1)^9' o Ai,
1=0
is said to be adjoint to the operator
k
L = d''+^ + Y.A,d\ (2.1)
j=0
A differential operator L is said to be self-adjoint if L^ = L and skew-
adjoint if L^ = — T.
The correspondence A/ ^^ VT establishes an isomorphism between linear
symmetries of the differential equation L{h) = and linear symmetries of
the adjoint equation L'^iji) = 0.
2.1 Z2— Grading on *b(L)
Let us now assume that L is self-adjoint or skew-adjoint. Then if A G S(L)
so V'^ does.
using the involution we can decompose 5B(L) is to the direct some:
^(L) = %q{L)®^i{L)
where
<Bo(L) = {A: LoA = -A^oL},
»i(L) = {A: LoA = A^oL}.
We will define Zs-parity £:(A) = G Z2 for A G <8o(-^) and £(A) = 1 G Z2
for A G Si(L), and will consider the above decomposition as Z2— grading on
Theorem 2.1.1 Let L he a self or skew- adjoint differential operator.
1. Then the commutator of operators determines a Lie algebra structure
on 5B(L), such that
[A„,A6] e^a+b{I^)
zfAa G S„(L), Afc G ^biL), a, be Z2.
2. Let Sym(L) be the Lie algebra of Linear symmetries of operator L, and
Sym„(L) = R{^aiL)) for a G Z2 and Symfe(L) = R{^b{L)) for b G Z2.
Then Sym(L) = SymQ(L) ® Sjm.-^^{L) and
[Sym„(L),Symfe(L)] C Sym^+ft(L).
We call elements of Symg(L) by even symmetries and elements of Syni]^ (L)
by odd symmetries of the equation L{h) = 0.
2.2 Symmetries of Operator d^ + G{x)d + i7(a:)
In this part we apply the results to the corresponding operator of 2nd ODE
y"^G{x)y' + H{x), (2.2)
It is easy to see that in order two one has only self adjoint operator, thus the
following operator is self adjoint and consequently, we will work on
d^ + G{x)d + H{x),
(2.3)
instead of equation 2.2. This operator is self adjoint. Therefore the algebra
of linear symmetries in Z2— graded.
Let us begin with SymQ(L). If A = Aq + Aid & SymQ(L) then we have
L o A = -A^ o L. If A^ = Ao- A[ - Aid then
LoA = Aid^ + {Ao + 2A'i + AiG)d^
+ [2A'o + A'; + G{Ao + A[) + AiH
+A[; + GA'^ + HAq,
-Aid^ + {Aq - A'l - AiG)d^
d
A' oL
G{Ao - A[) - Ai{G + G')
HiAo - A[) - AiH'.
d
Therefore, A G SymQ(L) implies Aq = — 2^1 ^^'i the function Ai = w should
satisfy the following differential equation:
w'" + (2H -G^ - 2G')w' + (h' - GG' - G")w = 0. (2.4)
We denote the differential operator corresponding to (2.4) by:
L = ^ + (2H-G^ - 2G") d+[H' - GG' - G") . (2.5)
If A e Sym^(L) then Lo A = A^ oL and we obtain Ai = and A'q = 0. Thus
A e Sym]^(L) is and only if A proportional to the identity operator. Finally
we have the following theorem which is a generalization of the theorem 2.5.1
of[l].
Theorem 2.2.1 The Lie algebra of linear symmetries of the differential op-
erator (2. 5) has the following description:
1. Symo(L) = [-\w' + wd: L{w) = o}.
2. Symi(L) = R.
Example 2.2.2 Let us suppose that in (2.3) we have G{x) = 0. Thus the
new operator is called Schrodinger operator. It is possible to see that the
even symmetries of Schrodinger operator is isomorphic to the Lie algebra
s/(2). And of course the Schrodinger operator does not have any nontrivial
odd symmetries.
References
[1] KusHNER, A,. Lychagin, V. AND RoBSTOV, V., Contact Geome-
try and Non-Linear Differential Equations, Cambridge University Press,
Cambridge, 2007.
[2] Olver, p. J., Equivalence, Invariant and Symmetry, Cambridge Univer-
sity Press, Cambridge 1995.
[3] Olver, P. J., Applications of Lie Groups to Differential equations. Sec-
ond Edition, GTM, Vol. 107, Springer Verlage, New York, 1993.